Bio-PEPA with SBML-like events
نویسنده
چکیده
In this work we present an extension of Bio-PEPA, a language recently defined for the modelling and analysis of biological systems, to handle events. Broadly speaking, events are constructs that represent changes in the system due to some trigger conditions. Some mappings from Bio-PEPA with events to analysis tools are reported. in order to test our approach, we present the translation of two biological models into Bio-PEPA with events.
منابع مشابه
SBML for optimizing decision support's tools
Many theoretical works and tools on epidemiological field reflect the emphasis on decision-making tools by both public health and the scientific community, which continues to increase. Indeed, in the epidemiological field, modeling tools are proving a very important way in helping to make decision. However, the variety, the large volume of data and the nature of epidemics lead us to seek soluti...
متن کاملBio-PEPA with Events
In this work we present an extension of Bio-PEPA, a language recently defined for the modelling and analysis of biochemical systems, to handle events. Events are constructs that represent changes in the system due to some trigger conditions. The events considered here are simple, but nevertheless able to describe most of the discontinuous changes in models and experiments. Events are added to o...
متن کاملHybrid semantics for Bio-PEPA
This paper investigates the stochastic, continuous and instantaneous (hybrid) modelling of systems defined in BioPEPA, a quantitative process algebra for biological modelling. This is achieved by mapping a Bio-PEPA model to a model in stochastic HYPE, a process algebra that models these three behaviour types in a compositional and structured manner. The novel mapping between process algebras pr...
متن کاملModeling biological systems with delays in Bio-PEPA
Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system resulting more compact models. In this paper we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning delays to actions, yielding a new non-Markovian process algebra: Bio-PEPAd. This is a con...
متن کاملBio-PEPAd: A non-Markovian extension of Bio-PEPA
Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system resulting in more compact models. In this paper we enrich the stochastic process algebra Bio-PEPA, with the possibility of assigning delays to actions, yielding a new non-Markovian stochastic process algebra: Bio-PEPAd....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008